additivity of integration